Sequentiality in an Extensional Framework
نویسندگان
چکیده
We present a cartesian closed category of dI-domains with coherence and strongly stable functions which provides a new model of PCF, where terms are interpreted by functions and where, at rst order, all functions are sequential. We show how this model can be reened in such a way that the theory it induces on the terms of PCF be strictly ner than the theory induced by the Scott model of continuous functions.
منابع مشابه
Continuous Functions and Parallel Algorithms on Concrete Data Structures
We report progress in two closely related lines of research: the semantic study of sequentiality and parallelism, and the development of a theory of intensional semantics. We generalize Kahn and Plotkin's concrete data structures to obtain a cartesian closed category of generalized concrete data structures and continuous functions. The generalized framework continues to support a de nition of s...
متن کاملReport on project GR/S72191/02 Extensional semantics of program behaviour
Game semantics is a way of characterizing programming languages and logical calculi intensionally by interpreting proofs or programs as strategies for interacting with the environment; this process of interaction can be thought of as playing a two-person game. Games can capture precisely the behaviour of higher-order programs in sequential languages, in a fashion which is very difficult or impo...
متن کاملHybrid Reactive-Deliberative Behaviour in a Symbolic Dynamical Cognitive Architecture
Sequentiality and reactivity are features that have been deemed important for cognitive architectures[1]and recent emphasis has been put by the community on their development in cognitive architectures. However, the cooperation and competition dynamic between reactivity and sequentiality remains an open issue in the domain [2]. In this paper, we present a three level cognitive architecture for ...
متن کاملPost-Triassic normal faulting and extensional structures in Central Alborz, Northern Iran
This paper presents structural evidence of extensional activity in Central Alborz during Mesozoic. The structural evidence of homogenous early stage stretching such as layer-parallel to oblique boudinage of Permian and Triassic rocks in various portions of the study area accompanied by extensional-fibrous fractures were followed with more advanced extensional features. These extensional structu...
متن کاملSequentiality in Bounded Biorders
We study a notion of bounded stable biorder, showing that the monotone and stable functions on such biorders are sequential. We construct bounded biorder models of a range of sequential, higher-order functional calculi, including unary PCF, (typed and untyped) call-by-value and lazy λ-calculi, and non-deterministic SPCF. We prove universality and full abstraction results for these models by red...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 110 شماره
صفحات -
تاریخ انتشار 1994